$\vdash$  $\forall$$b$:$\mathbb{B}$, $x$, $y$:Top. null(if $b$ then $x$ else $y$ fi ) $\sim$ if $b$ then null($x$) else null($y$) fi